extern typedef UInt = Int
